<html>
<head><meta charset="utf-8"><title>weekly meeting 2019.01.23 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html">weekly meeting 2019.01.23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="156722501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722501">(Jan 23 2019 at 20:32)</a>:</h4>
<p>Hello <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> -- triage meeting =)</p>



<a name="156722523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722523">(Jan 23 2019 at 20:32)</a>:</h4>
<p>Plan is to have a longer, steering meeting tomorrow at 1pm  UTC-5</p>



<a name="156722540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722540">(Jan 23 2019 at 20:32)</a>:</h4>
<p>hi</p>



<a name="156722559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722559">(Jan 23 2019 at 20:32)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">Paper document</a></p>



<a name="156722686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722686">(Jan 23 2019 at 20:34)</a>:</h4>
<p>We have one nominated issue,  NLL accepts higher-ranked subtype that non-NLL rejects <a href="https://github.com/rust-lang/rust/issues/57642" target="_blank" title="https://github.com/rust-lang/rust/issues/57642">#57642</a></p>



<a name="156722729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722729">(Jan 23 2019 at 20:34)</a>:</h4>
<p>This will become an issue once we move past NLL migration mode</p>



<a name="156722751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722751">(Jan 23 2019 at 20:35)</a>:</h4>
<p>(We haven't really setup a way to track that yet, have we?)</p>



<a name="156722768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722768">(Jan 23 2019 at 20:35)</a>:</h4>
<p>I wonder if a GH project is the right thing here</p>



<a name="156722789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722789">(Jan 23 2019 at 20:35)</a>:</h4>
<p>(also related to <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>'s work on <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a>)</p>



<a name="156722840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722840">(Jan 23 2019 at 20:36)</a>:</h4>
<p>maybe that implies a tracking issue is the way to go</p>



<a name="156722848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722848">(Jan 23 2019 at 20:36)</a>:</h4>
<p>discussing this sort of thing is perhaps exactly what we should discuss in the steering meeting tomorrow though =)</p>



<a name="156722850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722850">(Jan 23 2019 at 20:36)</a>:</h4>
<p>so maybe we leave that for now</p>



<a name="156722870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722870">(Jan 23 2019 at 20:36)</a>:</h4>
<p>Should we assign someone to the issue?</p>



<a name="156722888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722888">(Jan 23 2019 at 20:36)</a>:</h4>
<p>we could, it'd be ok to assign to me</p>



<a name="156722905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722905">(Jan 23 2019 at 20:37)</a>:</h4>
<p>let's do that and un-nominate I guess for now</p>



<a name="156722930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722930">(Jan 23 2019 at 20:37)</a>:</h4>
<p>(unless someone else wants to investigate, which is fine for me)</p>



<a name="156722946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722946">(Jan 23 2019 at 20:37)</a>:</h4>
<p>the error message part of this issue is I feel covered by the other higher-rank errors issues we're working on rn</p>



<a name="156722997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156722997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156722997">(Jan 23 2019 at 20:38)</a>:</h4>
<p>yes, I think so too (ps <span class="user-mention" data-user-id="116113">@lqd</span> next on my list for today is to get back to you in that other topic :)</p>



<a name="156723000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723000">(Jan 23 2019 at 20:38)</a>:</h4>
<p>well, let's look at some of the other trigae links I guess</p>



<a name="156723010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723010">(Jan 23 2019 at 20:38)</a>:</h4>
<p>e.g., <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+">uncategorized issues</a></p>



<a name="156723035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723035">(Jan 23 2019 at 20:38)</a>:</h4>
<p>those are lacking a NLL-foo designation; I guess it's not obviously imporatnt to do that <em>together</em></p>



<a name="156723122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723122">(Jan 23 2019 at 20:40)</a>:</h4>
<p>ICE when type checking partially annotated patterns <a href="https://github.com/rust-lang/rust/issues/57531" target="_blank" title="https://github.com/rust-lang/rust/issues/57531">#57531</a>  -- an ICE, seems obscure-ish, NLL-complete</p>



<a name="156723136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723136">(Jan 23 2019 at 20:40)</a>:</h4>
<p>are the <code>impl_trait_in_bindings</code> ICEs "important" ?</p>



<a name="156723146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723146">(Jan 23 2019 at 20:40)</a>:</h4>
<p>I don't really think so</p>



<a name="156723150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723150">(Jan 23 2019 at 20:40)</a>:</h4>
<p>they're also not NLL</p>



<a name="156723158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723158">(Jan 23 2019 at 20:40)</a>:</h4>
<p>(I mean we know we need to work on it)</p>



<a name="156723164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723164">(Jan 23 2019 at 20:40)</a>:</h4>
<p>we should probably just list them in some tracking issue</p>



<a name="156723184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723184">(Jan 23 2019 at 20:41)</a>:</h4>
<p>sure we'll fix them eventually :)</p>



<a name="156723292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723292">(Jan 23 2019 at 20:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> are you fuzzing rustc to find these issues ? :)</p>



<a name="156723302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723302">(Jan 23 2019 at 20:42)</a>:</h4>
<p>I'm not sure if there even is a tracking issue for impl trait in bindings</p>



<a name="156723326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723326">(Jan 23 2019 at 20:42)</a>:</h4>
<p>Which ones?</p>



<a name="156723343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723343">(Jan 23 2019 at 20:43)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/57531" target="_blank" title="https://github.com/rust-lang/rust/issues/57531">#57531</a> for example</p>



<a name="156723443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723443">(Jan 23 2019 at 20:44)</a>:</h4>
<blockquote>
<p>I'm not sure if there even is a tracking issue for impl trait in bindings</p>
</blockquote>
<p>maybe not, we should make one...</p>



<a name="156723444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723444">(Jan 23 2019 at 20:44)</a>:</h4>
<p>I found that because I was trying something for <a href="https://github.com/rust-lang/rust/issues/57714" target="_blank" title="https://github.com/rust-lang/rust/issues/57714">#57714</a> that made the ICE much easier to come across</p>



<a name="156723471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723471">(Jan 23 2019 at 20:44)</a>:</h4>
<p>(sorry, had to restart my browser for some reason)</p>



<a name="156723491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723491">(Jan 23 2019 at 20:44)</a>:</h4>
<p>the other things in that list of missing NLL-foo tags are mostly old</p>



<a name="156723500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723500">(Jan 23 2019 at 20:44)</a>:</h4>
<p>in any case it seems Matthew has a fix in flight for <a href="https://github.com/rust-lang/rust/issues/57531" target="_blank" title="https://github.com/rust-lang/rust/issues/57531">#57531</a></p>



<a name="156723577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723577">(Jan 23 2019 at 20:45)</a>:</h4>
<p>maybe we need something like NLL-reference</p>



<a name="156723578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723578">(Jan 23 2019 at 20:45)</a>:</h4>
<p>(btw awesome job <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span>)</p>



<a name="156723898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723898">(Jan 23 2019 at 20:49)</a>:</h4>
<p>OK, I added a NLL-reference</p>



<a name="156723904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723904">(Jan 23 2019 at 20:49)</a>:</h4>
<p>and tagged remaining issues</p>



<a name="156723913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723913">(Jan 23 2019 at 20:49)</a>:</h4>
<p>felix wanted to check <a href="https://github.com/rust-lang/rust/issues/55526" target="_blank" title="https://github.com/rust-lang/rust/issues/55526">#55526</a> with t-lang ?</p>



<a name="156723920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723920">(Jan 23 2019 at 20:50)</a>:</h4>
<p>the only issue left is  NLL error on closure, but not on equivalent function <a href="https://github.com/rust-lang/rust/issues/55526" target="_blank" title="https://github.com/rust-lang/rust/issues/55526">#55526</a></p>



<a name="156723973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723973">(Jan 23 2019 at 20:50)</a>:</h4>
<p>yes, I mean, it's not really a matter of "checking" per se</p>



<a name="156723979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723979">(Jan 23 2019 at 20:50)</a>:</h4>
<p>it's basically that there's some design work needed</p>



<a name="156723984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723984">(Jan 23 2019 at 20:50)</a>:</h4>
<p>to figure out best approach</p>



<a name="156723991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156723991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156723991">(Jan 23 2019 at 20:50)</a>:</h4>
<p>I'm not 100% sure how to categorize it :)</p>



<a name="156724002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724002">(Jan 23 2019 at 20:50)</a>:</h4>
<p>I guess NLL-complete</p>



<a name="156724029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724029">(Jan 23 2019 at 20:51)</a>:</h4>
<p>anyway, is there more triage work we ought to do ?</p>



<a name="156724045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724045">(Jan 23 2019 at 20:51)</a>:</h4>
<p>That's probably the closest</p>



<a name="156724057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724057">(Jan 23 2019 at 20:51)</a>:</h4>
<p>seems like we could adjourn until tomorrow, to discuss the larger questions when <span class="user-mention" data-user-id="116083">@pnkfelix</span> is here</p>



<a name="156724105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724105">(Jan 23 2019 at 20:51)</a>:</h4>
<p>meeting efficiency: <span aria-label="100" class="emoji emoji-1f4af" role="img" title="100">:100:</span></p>



<a name="156724240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%202019.01.23/near/156724240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.202019.2E01.2E23.html#156724240">(Jan 23 2019 at 20:53)</a>:</h4>
<p>see you all tomorrow <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>